Assurance-driven development in Problem Oriented Engineering
نویسندگان
چکیده
Problem Oriented Engineering (POE) is a Gentzen-style ‘natural’ framework for engineering design. As such, POE supports rather than guides its user as to the particular sequence of design steps that will be used; the sequencing is user determined as that most appropriate to the context of application. In this paper, however, we suggest a sequencing of steps and interactions with stake-holders that is suitable for assurance-driven development, i.e., for developments in which the argument of fitness-for-purpose is produced during design.
منابع مشابه
Assurance-driven design in Problem Oriented Engineering∗
The design of assurance cases is hampered by the positand-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced and then evidence from the development is looked for to build an assurance case. Although post-hoc assured development is possible, it often results in errors being uncovered late—leading to costly redevelopment—or to syste...
متن کاملAdaptive Voltage-based Control of Direct-drive Robots Driven by Permanent Magnet Synchronous Motors
Tracking control of the direct-drive robot manipulators in high-speed is a challenging problem. The Coriolis and centrifugal torques become dominant in the high-speed motion control. The dynamical model of the robotic system including the robot manipulator and actuators is highly nonlinear, heavily coupled, uncertain and computationally extensive in non-companion form. In order to overcome thes...
متن کاملA Framework for Developing Cyber-Physical Systems
Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...
متن کاملA Visual Development Environment for Jade ( Extended Abstract )
Agent-oriented software engineering (AOSE) aims on reducing the complexity of multiagent system (MAS) development. Jade is a famous framework for implementing MAS in Java. This paper proposes the model-driven development environment of the Domain Specific Modeling Language for Multiagent Systems (Dsml4mas) as a visual development environment for Jade. We focus especially on how the synchronizat...
متن کاملObject-Oriented Software Engineering - a Use Case Driven Approach
object-oriented software engineering: a use case driven object oriented software engineering a use case driven object-oriented software engineering a use case driven a use-case driven approach to formal service-oriented ccis 17 a use-case driven approach to formal service object oriented software engineering ivar jacobson pdf process-oriented requirement analysis supporting the data a use case ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007